9

Compositionality properties of SLD-derivations

Année:
1999
Langue:
english
Fichier:
PDF, 2.41 MB
english, 1999
10

Abstract diagnosis

Année:
1999
Langue:
english
Fichier:
PDF, 3.83 MB
english, 1999
11

Preface: Volume 48

Année:
2001
Langue:
english
Fichier:
PDF, 50 KB
english, 2001
12

A Theory of Observables for Logic Programs

Année:
2001
Langue:
english
Fichier:
PDF, 398 KB
english, 2001
14

The expressive power of CHR with priorities

Année:
2013
Langue:
english
Fichier:
PDF, 374 KB
english, 2013
17

Unfolding for CHR programs

Année:
2015
Langue:
english
Fichier:
PDF, 476 KB
english, 2015
21

On the Expressive Power of Multiple Heads in CHR

Année:
2012
Langue:
english
Fichier:
PDF, 266 KB
english, 2012
22

Transformations of CCP programs

Année:
2001
Langue:
english
Fichier:
PDF, 828 KB
english, 2001
23

A compositional semantics for CHR

Année:
2009
Langue:
english
Fichier:
PDF, 276 KB
english, 2009
26

Decidability properties for fragments of CHR

Année:
2010
Langue:
english
Fichier:
PDF, 158 KB
english, 2010